Перевод: со всех языков на английский

с английского на все языки

logic under test

  • 1 проверяемые логические схемы

    Русско-английский словарь по вычислительной технике и программированию > проверяемые логические схемы

  • 2 проверяемые логические схемы

    Русско-английский большой базовый словарь > проверяемые логические схемы

  • 3 проверяемый

    Русско-английский военно-политический словарь > проверяемый

  • 4 проверяемый

    checked; tested

    Русско-английский научный словарь > проверяемый

  • 5 проверяемые логические схемы

    Information technology: logic under test

    Универсальный русско-английский словарь > проверяемые логические схемы

  • 6 Artificial Intelligence

       In my opinion, none of [these programs] does even remote justice to the complexity of human mental processes. Unlike men, "artificially intelligent" programs tend to be single minded, undistractable, and unemotional. (Neisser, 1967, p. 9)
       Future progress in [artificial intelligence] will depend on the development of both practical and theoretical knowledge.... As regards theoretical knowledge, some have sought a unified theory of artificial intelligence. My view is that artificial intelligence is (or soon will be) an engineering discipline since its primary goal is to build things. (Nilsson, 1971, pp. vii-viii)
       Most workers in AI [artificial intelligence] research and in related fields confess to a pronounced feeling of disappointment in what has been achieved in the last 25 years. Workers entered the field around 1950, and even around 1960, with high hopes that are very far from being realized in 1972. In no part of the field have the discoveries made so far produced the major impact that was then promised.... In the meantime, claims and predictions regarding the potential results of AI research had been publicized which went even farther than the expectations of the majority of workers in the field, whose embarrassments have been added to by the lamentable failure of such inflated predictions....
       When able and respected scientists write in letters to the present author that AI, the major goal of computing science, represents "another step in the general process of evolution"; that possibilities in the 1980s include an all-purpose intelligence on a human-scale knowledge base; that awe-inspiring possibilities suggest themselves based on machine intelligence exceeding human intelligence by the year 2000 [one has the right to be skeptical]. (Lighthill, 1972, p. 17)
       4) Just as Astronomy Succeeded Astrology, the Discovery of Intellectual Processes in Machines Should Lead to a Science, Eventually
       Just as astronomy succeeded astrology, following Kepler's discovery of planetary regularities, the discoveries of these many principles in empirical explorations on intellectual processes in machines should lead to a science, eventually. (Minsky & Papert, 1973, p. 11)
       Many problems arise in experiments on machine intelligence because things obvious to any person are not represented in any program. One can pull with a string, but one cannot push with one.... Simple facts like these caused serious problems when Charniak attempted to extend Bobrow's "Student" program to more realistic applications, and they have not been faced up to until now. (Minsky & Papert, 1973, p. 77)
       What do we mean by [a symbolic] "description"? We do not mean to suggest that our descriptions must be made of strings of ordinary language words (although they might be). The simplest kind of description is a structure in which some features of a situation are represented by single ("primitive") symbols, and relations between those features are represented by other symbols-or by other features of the way the description is put together. (Minsky & Papert, 1973, p. 11)
       [AI is] the use of computer programs and programming techniques to cast light on the principles of intelligence in general and human thought in particular. (Boden, 1977, p. 5)
       The word you look for and hardly ever see in the early AI literature is the word knowledge. They didn't believe you have to know anything, you could always rework it all.... In fact 1967 is the turning point in my mind when there was enough feeling that the old ideas of general principles had to go.... I came up with an argument for what I called the primacy of expertise, and at the time I called the other guys the generalists. (Moses, quoted in McCorduck, 1979, pp. 228-229)
       9) Artificial Intelligence Is Psychology in a Particularly Pure and Abstract Form
       The basic idea of cognitive science is that intelligent beings are semantic engines-in other words, automatic formal systems with interpretations under which they consistently make sense. We can now see why this includes psychology and artificial intelligence on a more or less equal footing: people and intelligent computers (if and when there are any) turn out to be merely different manifestations of the same underlying phenomenon. Moreover, with universal hardware, any semantic engine can in principle be formally imitated by a computer if only the right program can be found. And that will guarantee semantic imitation as well, since (given the appropriate formal behavior) the semantics is "taking care of itself" anyway. Thus we also see why, from this perspective, artificial intelligence can be regarded as psychology in a particularly pure and abstract form. The same fundamental structures are under investigation, but in AI, all the relevant parameters are under direct experimental control (in the programming), without any messy physiology or ethics to get in the way. (Haugeland, 1981b, p. 31)
       There are many different kinds of reasoning one might imagine:
        Formal reasoning involves the syntactic manipulation of data structures to deduce new ones following prespecified rules of inference. Mathematical logic is the archetypical formal representation. Procedural reasoning uses simulation to answer questions and solve problems. When we use a program to answer What is the sum of 3 and 4? it uses, or "runs," a procedural model of arithmetic. Reasoning by analogy seems to be a very natural mode of thought for humans but, so far, difficult to accomplish in AI programs. The idea is that when you ask the question Can robins fly? the system might reason that "robins are like sparrows, and I know that sparrows can fly, so robins probably can fly."
        Generalization and abstraction are also natural reasoning process for humans that are difficult to pin down well enough to implement in a program. If one knows that Robins have wings, that Sparrows have wings, and that Blue jays have wings, eventually one will believe that All birds have wings. This capability may be at the core of most human learning, but it has not yet become a useful technique in AI.... Meta- level reasoning is demonstrated by the way one answers the question What is Paul Newman's telephone number? You might reason that "if I knew Paul Newman's number, I would know that I knew it, because it is a notable fact." This involves using "knowledge about what you know," in particular, about the extent of your knowledge and about the importance of certain facts. Recent research in psychology and AI indicates that meta-level reasoning may play a central role in human cognitive processing. (Barr & Feigenbaum, 1981, pp. 146-147)
       Suffice it to say that programs already exist that can do things-or, at the very least, appear to be beginning to do things-which ill-informed critics have asserted a priori to be impossible. Examples include: perceiving in a holistic as opposed to an atomistic way; using language creatively; translating sensibly from one language to another by way of a language-neutral semantic representation; planning acts in a broad and sketchy fashion, the details being decided only in execution; distinguishing between different species of emotional reaction according to the psychological context of the subject. (Boden, 1981, p. 33)
       Can the synthesis of Man and Machine ever be stable, or will the purely organic component become such a hindrance that it has to be discarded? If this eventually happens-and I have... good reasons for thinking that it must-we have nothing to regret and certainly nothing to fear. (Clarke, 1984, p. 243)
       The thesis of GOFAI... is not that the processes underlying intelligence can be described symbolically... but that they are symbolic. (Haugeland, 1985, p. 113)
        14) Artificial Intelligence Provides a Useful Approach to Psychological and Psychiatric Theory Formation
       It is all very well formulating psychological and psychiatric theories verbally but, when using natural language (even technical jargon), it is difficult to recognise when a theory is complete; oversights are all too easily made, gaps too readily left. This is a point which is generally recognised to be true and it is for precisely this reason that the behavioural sciences attempt to follow the natural sciences in using "classical" mathematics as a more rigorous descriptive language. However, it is an unfortunate fact that, with a few notable exceptions, there has been a marked lack of success in this application. It is my belief that a different approach-a different mathematics-is needed, and that AI provides just this approach. (Hand, quoted in Hand, 1985, pp. 6-7)
       We might distinguish among four kinds of AI.
       Research of this kind involves building and programming computers to perform tasks which, to paraphrase Marvin Minsky, would require intelligence if they were done by us. Researchers in nonpsychological AI make no claims whatsoever about the psychological realism of their programs or the devices they build, that is, about whether or not computers perform tasks as humans do.
       Research here is guided by the view that the computer is a useful tool in the study of mind. In particular, we can write computer programs or build devices that simulate alleged psychological processes in humans and then test our predictions about how the alleged processes work. We can weave these programs and devices together with other programs and devices that simulate different alleged mental processes and thereby test the degree to which the AI system as a whole simulates human mentality. According to weak psychological AI, working with computer models is a way of refining and testing hypotheses about processes that are allegedly realized in human minds.
    ... According to this view, our minds are computers and therefore can be duplicated by other computers. Sherry Turkle writes that the "real ambition is of mythic proportions, making a general purpose intelligence, a mind." (Turkle, 1984, p. 240) The authors of a major text announce that "the ultimate goal of AI research is to build a person or, more humbly, an animal." (Charniak & McDermott, 1985, p. 7)
       Research in this field, like strong psychological AI, takes seriously the functionalist view that mentality can be realized in many different types of physical devices. Suprapsychological AI, however, accuses strong psychological AI of being chauvinisticof being only interested in human intelligence! Suprapsychological AI claims to be interested in all the conceivable ways intelligence can be realized. (Flanagan, 1991, pp. 241-242)
        16) Determination of Relevance of Rules in Particular Contexts
       Even if the [rules] were stored in a context-free form the computer still couldn't use them. To do that the computer requires rules enabling it to draw on just those [ rules] which are relevant in each particular context. Determination of relevance will have to be based on further facts and rules, but the question will again arise as to which facts and rules are relevant for making each particular determination. One could always invoke further facts and rules to answer this question, but of course these must be only the relevant ones. And so it goes. It seems that AI workers will never be able to get started here unless they can settle the problem of relevance beforehand by cataloguing types of context and listing just those facts which are relevant in each. (Dreyfus & Dreyfus, 1986, p. 80)
       Perhaps the single most important idea to artificial intelligence is that there is no fundamental difference between form and content, that meaning can be captured in a set of symbols such as a semantic net. (G. Johnson, 1986, p. 250)
        18) The Assumption That the Mind Is a Formal System
       Artificial intelligence is based on the assumption that the mind can be described as some kind of formal system manipulating symbols that stand for things in the world. Thus it doesn't matter what the brain is made of, or what it uses for tokens in the great game of thinking. Using an equivalent set of tokens and rules, we can do thinking with a digital computer, just as we can play chess using cups, salt and pepper shakers, knives, forks, and spoons. Using the right software, one system (the mind) can be mapped into the other (the computer). (G. Johnson, 1986, p. 250)
        19) A Statement of the Primary and Secondary Purposes of Artificial Intelligence
       The primary goal of Artificial Intelligence is to make machines smarter.
       The secondary goals of Artificial Intelligence are to understand what intelligence is (the Nobel laureate purpose) and to make machines more useful (the entrepreneurial purpose). (Winston, 1987, p. 1)
       The theoretical ideas of older branches of engineering are captured in the language of mathematics. We contend that mathematical logic provides the basis for theory in AI. Although many computer scientists already count logic as fundamental to computer science in general, we put forward an even stronger form of the logic-is-important argument....
       AI deals mainly with the problem of representing and using declarative (as opposed to procedural) knowledge. Declarative knowledge is the kind that is expressed as sentences, and AI needs a language in which to state these sentences. Because the languages in which this knowledge usually is originally captured (natural languages such as English) are not suitable for computer representations, some other language with the appropriate properties must be used. It turns out, we think, that the appropriate properties include at least those that have been uppermost in the minds of logicians in their development of logical languages such as the predicate calculus. Thus, we think that any language for expressing knowledge in AI systems must be at least as expressive as the first-order predicate calculus. (Genesereth & Nilsson, 1987, p. viii)
        21) Perceptual Structures Can Be Represented as Lists of Elementary Propositions
       In artificial intelligence studies, perceptual structures are represented as assemblages of description lists, the elementary components of which are propositions asserting that certain relations hold among elements. (Chase & Simon, 1988, p. 490)
       Artificial intelligence (AI) is sometimes defined as the study of how to build and/or program computers to enable them to do the sorts of things that minds can do. Some of these things are commonly regarded as requiring intelligence: offering a medical diagnosis and/or prescription, giving legal or scientific advice, proving theorems in logic or mathematics. Others are not, because they can be done by all normal adults irrespective of educational background (and sometimes by non-human animals too), and typically involve no conscious control: seeing things in sunlight and shadows, finding a path through cluttered terrain, fitting pegs into holes, speaking one's own native tongue, and using one's common sense. Because it covers AI research dealing with both these classes of mental capacity, this definition is preferable to one describing AI as making computers do "things that would require intelligence if done by people." However, it presupposes that computers could do what minds can do, that they might really diagnose, advise, infer, and understand. One could avoid this problematic assumption (and also side-step questions about whether computers do things in the same way as we do) by defining AI instead as "the development of computers whose observable performance has features which in humans we would attribute to mental processes." This bland characterization would be acceptable to some AI workers, especially amongst those focusing on the production of technological tools for commercial purposes. But many others would favour a more controversial definition, seeing AI as the science of intelligence in general-or, more accurately, as the intellectual core of cognitive science. As such, its goal is to provide a systematic theory that can explain (and perhaps enable us to replicate) both the general categories of intentionality and the diverse psychological capacities grounded in them. (Boden, 1990b, pp. 1-2)
       Because the ability to store data somewhat corresponds to what we call memory in human beings, and because the ability to follow logical procedures somewhat corresponds to what we call reasoning in human beings, many members of the cult have concluded that what computers do somewhat corresponds to what we call thinking. It is no great difficulty to persuade the general public of that conclusion since computers process data very fast in small spaces well below the level of visibility; they do not look like other machines when they are at work. They seem to be running along as smoothly and silently as the brain does when it remembers and reasons and thinks. On the other hand, those who design and build computers know exactly how the machines are working down in the hidden depths of their semiconductors. Computers can be taken apart, scrutinized, and put back together. Their activities can be tracked, analyzed, measured, and thus clearly understood-which is far from possible with the brain. This gives rise to the tempting assumption on the part of the builders and designers that computers can tell us something about brains, indeed, that the computer can serve as a model of the mind, which then comes to be seen as some manner of information processing machine, and possibly not as good at the job as the machine. (Roszak, 1994, pp. xiv-xv)
       The inner workings of the human mind are far more intricate than the most complicated systems of modern technology. Researchers in the field of artificial intelligence have been attempting to develop programs that will enable computers to display intelligent behavior. Although this field has been an active one for more than thirty-five years and has had many notable successes, AI researchers still do not know how to create a program that matches human intelligence. No existing program can recall facts, solve problems, reason, learn, and process language with human facility. This lack of success has occurred not because computers are inferior to human brains but rather because we do not yet know in sufficient detail how intelligence is organized in the brain. (Anderson, 1995, p. 2)

    Historical dictionary of quotations in cognitive science > Artificial Intelligence

  • 7 estudiar

    v.
    1 to study (carrera, libro, asunto).
    estudia biológicas he's studying biology
    después de estudiar tu propuesta he decidido no aceptarla after studying your proposal, I've decided not to accept it
    estudia todas las tardes he spends every afternoon studying
    estudió con el Presidente he went to school/university with the President
    ¿estudias o trabajas? do you work or are you a student?
    Lisa estudia arduamente Lisa studies hard.
    Lisa estudia todos los libros Lisa studies every book.
    Lisa estudia historia americana Lisa studies American history.
    2 to observe.
    3 to be a student, to study.
    4 to feel out, to study.
    El profesor estudia sus reacciones The teacher feels out their reactions.
    * * *
    1 (gen) to study, learn
    2 (en universidad) to read, study
    3 (trabajar) to work, study
    4 (observar) to examine, observe
    1 to study
    1 to consider
    \
    estudiar de memoria to learn by heart
    * * *
    verb
    * * *
    1. VT
    1) (=aprender) [+ lección, papel] to learn
    2) (=cursar) to study

    ¿qué curso estudias? — what year are you in?

    3) (=examinar) [informe, experimento] to examine, look into; [persona] to study, look into

    el informe estudia los efectos de la sequía — the report examines o looks into the effects of the drought

    4) (=considerar) to consider, study

    estudiaremos su oferta y ya le contestaremos — we shall consider o study your offer and get back to you

    están estudiando la posibilidad de convocar una huelga — they are looking into the possibility of calling a strike, they are considering calling a strike

    2. VI
    1) (=aprender) to study
    2) (=cursar estudios) to study
    * * *
    1.
    verbo transitivo
    1)
    a) < asignatura> to study

    estudia música — he's studying music; ( en la universidad) to study, read (frml)

    estudia medicina — she's studying o doing o reading medicine

    ¿qué carrera estudió? — what subject did he do at college/university?

    b) < instrumento> to learn
    2) <lección/tablas> to learn
    3) ( observar) <rostro/comportamiento> to study
    4) (considerar, analizar) <mercado/situación/proyecto> to study; < propuesta> to study, consider
    2.
    estudiar vi to study
    3.
    estudiarse v pron
    a) (enf) < lección> to study; < papel> to learn
    b) (recípr) ( observarse)
    * * *
    = analyse [analyze, -USA], envisage, examine, explore, look, look at, look into, ponder (over/on/upon), present + discussion, study, survey, think out, weigh, work on, get into, see about, observe, weigh up, look toward(s), review, work through, probe.
    Ex. With a clear objective, the next step is to analyse the concepts that are present in a search.
    Ex. It is fairly common to have to modify a standard list, or compile a fresh list when a new application is envisaged.
    Ex. The article 'Home schoolers: a forgotten clientele?' examines ways in which the library can support parents and children in the home schooling situation.
    Ex. Next I will illustrate a simple search profile which does not explore all possible synonyms, but does serve to illustrate weighted term logic.
    Ex. This chapter takes the opportunity to look at an assortment of other aspects of bibliographic description.
    Ex. This article looks at three interrelated issues regarding on-line services based on the recent literature.
    Ex. The main concern is to look into current use of, and interest in, electronic information services, and also to gauge opinion on setting up a data base concerned solely with development issues.
    Ex. If we instruct it to ponder this question more leisurely, it will quickly try the user's patience with digressions concerning the less illustrious senior MOZART, LEOPOLD.
    Ex. This article presents a detailed discussion of the use of Hypermedia for authoring, organisation and presentation of information.
    Ex. Each of the binders is portable and can be separately studied.
    Ex. Chapters 7 and 8 introduced the problems associated with author cataloguing and have surveyed the purpose of cataloguing codes.
    Ex. A recitation of the best thought out principles for a cataloging code is easily drowned out by the clatter of a bank of direct access devices vainly searching for misplaced records.
    Ex. Examines the advantages and disadvantages of approval plans suggesting that each library must carefully weigh them in order to determine its own best course of action.
    Ex. I've been working on next year's budget, and it would be fair to add eight percent to materials and salaries.
    Ex. 'But didn't you say that one of the reasons you wanted to leave was because you were tired of macramËéË and wanted to get into computers?'.
    Ex. The head of reference told me that he's going to see about a dress code for the staff, prohibiting slacks for women.
    Ex. 141 data bases were observed, most of them had been developed in the life sciences as well as in the earth, ocean and space sciences.
    Ex. The author weighs up whether a dumbing down has taken place in the UK tabloid and broadsheet press.
    Ex. Libraries are looking towards some sort of cooperative system.
    Ex. There is only space to review briefly the special problems associated with the descriptive cataloguing of nonbook materials.
    Ex. Some theorists hold that one stage must be completely worked through before the next stage can be entered.
    Ex. The librarian sometimes must probe to discover the context of the question and to be able to discuss various possible approaches and explore their merits.
    ----
    * al estudiar Algo más detenidamente = on closer examination, on closer inspection.
    * estudiar Algo = be under consideration.
    * estudiar alternativas = explore + alternative.
    * estudiar desde una perspectiva = see through.
    * estudiar detenidamente = take + a hard look at, take + a long hard look at, go through, be carefully considered, think through.
    * estudiar el modo de = explore + ways in which, explore + ways and means of.
    * estudiar en detalle = study + at length.
    * estudiar en el extranjero = study abroad, study + abroad.
    * estudiar en una Universidad = attend + Universidad.
    * estudiar hasta muy tarde = burn + the midnight oil.
    * estudiar la evolución histórica de Algo = historicise [historicize, -USA].
    * estudiar la manera de = explore + ways in which, explore + ways and means of.
    * estudiar la posibilidad = explore + the possibility.
    * estudiar minuciosamente = study + in great depth, pore.
    * estudiar + Nombre + teniendo en cuenta + Nombre = place + Nombre + against the background of + Nombre.
    * estudiar una necesidad = analyse + need.
    * estudiar una posibilidad = explore + idea.
    * estudiar una Titulación = work toward/on + Titulación.
    * estudiar un tema = pursue + subject.
    * merecer la pena estudiar Algo = repay + study.
    * * *
    1.
    verbo transitivo
    1)
    a) < asignatura> to study

    estudia música — he's studying music; ( en la universidad) to study, read (frml)

    estudia medicina — she's studying o doing o reading medicine

    ¿qué carrera estudió? — what subject did he do at college/university?

    b) < instrumento> to learn
    2) <lección/tablas> to learn
    3) ( observar) <rostro/comportamiento> to study
    4) (considerar, analizar) <mercado/situación/proyecto> to study; < propuesta> to study, consider
    2.
    estudiar vi to study
    3.
    estudiarse v pron
    a) (enf) < lección> to study; < papel> to learn
    b) (recípr) ( observarse)
    * * *
    = analyse [analyze, -USA], envisage, examine, explore, look, look at, look into, ponder (over/on/upon), present + discussion, study, survey, think out, weigh, work on, get into, see about, observe, weigh up, look toward(s), review, work through, probe.

    Ex: With a clear objective, the next step is to analyse the concepts that are present in a search.

    Ex: It is fairly common to have to modify a standard list, or compile a fresh list when a new application is envisaged.
    Ex: The article 'Home schoolers: a forgotten clientele?' examines ways in which the library can support parents and children in the home schooling situation.
    Ex: Next I will illustrate a simple search profile which does not explore all possible synonyms, but does serve to illustrate weighted term logic.
    Ex: This chapter takes the opportunity to look at an assortment of other aspects of bibliographic description.
    Ex: This article looks at three interrelated issues regarding on-line services based on the recent literature.
    Ex: The main concern is to look into current use of, and interest in, electronic information services, and also to gauge opinion on setting up a data base concerned solely with development issues.
    Ex: If we instruct it to ponder this question more leisurely, it will quickly try the user's patience with digressions concerning the less illustrious senior MOZART, LEOPOLD.
    Ex: This article presents a detailed discussion of the use of Hypermedia for authoring, organisation and presentation of information.
    Ex: Each of the binders is portable and can be separately studied.
    Ex: Chapters 7 and 8 introduced the problems associated with author cataloguing and have surveyed the purpose of cataloguing codes.
    Ex: A recitation of the best thought out principles for a cataloging code is easily drowned out by the clatter of a bank of direct access devices vainly searching for misplaced records.
    Ex: Examines the advantages and disadvantages of approval plans suggesting that each library must carefully weigh them in order to determine its own best course of action.
    Ex: I've been working on next year's budget, and it would be fair to add eight percent to materials and salaries.
    Ex: 'But didn't you say that one of the reasons you wanted to leave was because you were tired of macramËéË and wanted to get into computers?'.
    Ex: The head of reference told me that he's going to see about a dress code for the staff, prohibiting slacks for women.
    Ex: 141 data bases were observed, most of them had been developed in the life sciences as well as in the earth, ocean and space sciences.
    Ex: The author weighs up whether a dumbing down has taken place in the UK tabloid and broadsheet press.
    Ex: Libraries are looking towards some sort of cooperative system.
    Ex: There is only space to review briefly the special problems associated with the descriptive cataloguing of nonbook materials.
    Ex: Some theorists hold that one stage must be completely worked through before the next stage can be entered.
    Ex: The librarian sometimes must probe to discover the context of the question and to be able to discuss various possible approaches and explore their merits.
    * al estudiar Algo más detenidamente = on closer examination, on closer inspection.
    * estudiar Algo = be under consideration.
    * estudiar alternativas = explore + alternative.
    * estudiar desde una perspectiva = see through.
    * estudiar detenidamente = take + a hard look at, take + a long hard look at, go through, be carefully considered, think through.
    * estudiar el modo de = explore + ways in which, explore + ways and means of.
    * estudiar en detalle = study + at length.
    * estudiar en el extranjero = study abroad, study + abroad.
    * estudiar en una Universidad = attend + Universidad.
    * estudiar hasta muy tarde = burn + the midnight oil.
    * estudiar la evolución histórica de Algo = historicise [historicize, -USA].
    * estudiar la manera de = explore + ways in which, explore + ways and means of.
    * estudiar la posibilidad = explore + the possibility.
    * estudiar minuciosamente = study + in great depth, pore.
    * estudiar + Nombre + teniendo en cuenta + Nombre = place + Nombre + against the background of + Nombre.
    * estudiar una necesidad = analyse + need.
    * estudiar una posibilidad = explore + idea.
    * estudiar una Titulación = work toward/on + Titulación.
    * estudiar un tema = pursue + subject.
    * merecer la pena estudiar Algo = repay + study.

    * * *
    estudiar [A1 ]
    vt
    A
    1 ‹asignatura› to study; (en la universidad) to study, read ( frml)
    estudiaba inglés en una academia I used to study English at a language school
    estudia medicina en la universidad de Salamanca she's studying o doing o reading medicine at Salamanca university
    ¿qué carrera estudió? what subject did he do at college/university?, what did he study at college/university?, what (subject) did he take his degree in?
    2 ( Mús) ‹instrumento› to learn
    B ‹lección/tablas› to learn
    me tengo que poner a estudiar geografía para el examen I have to get down to studying o ( AmE) reviewing o ( BrE) revising geography for the test
    C (observar) to study
    estudia el comportamiento de las aves he studies the behavior of birds
    me di cuenta de que me estaba estudiando I realized that he was observing o watching o studying me
    D (considerar, analizar) ‹mercado/situación/proyecto› to study; ‹propuesta› to study, consider
    están estudiando los pasos a seguir they're considering what steps to take
    estudiaron las posibles causas del accidente they looked into the possible causes of the accident
    ■ estudiar
    vi
    to study
    este fin de semana tengo que estudiar para el examen this weekend I have to do some work o studying for the test o I have to review ( AmE) o ( BrE) revise for the test
    estudia en un colegio privado he goes to a private school
    a ver si este año estudias más I hope you're going to work harder this year
    tuvo que dejar de estudiar a los 15 años para ayudar a su madre she had to leave school at 15 to help her mother
    estudiar PARA algo to study to be sth
    estudia para economista she's studying to be an economist
    no come nada, está estudiando para fideo ( hum); she doesn't eat a thing, she's in training for the slimming olympics ( hum)
    1 ( enf) ‹lección› to study
    se estudió el papel en una tarde he learned his part in an afternoon
    2 ( recípr)
    (observarse): los dos niños se estudiaron largo rato the two children watched each other closely for a long time
    * * *

     

    estudiar ( conjugate estudiar) verbo transitivo
    1
    a) ‹ asignatura› to study;

    ( en la universidad) to study, read (frml);
    ◊ ¿qué carrera estudió? what subject did he do at college/university?


    c) ‹lección/tablas› to learn

    2 ( observar) ‹rostro/comportamiento› to study
    3 (considerar, analizar) ‹mercado/situación/proyecto› to study;
    ‹ propuesta› to study, consider;
    ‹ causas› to look into, investigate
    verbo intransitivo
    to study;

    debes estudiar más you must work harder;
    dejó de estudiar a los 15 años she left school at 15;
    estudiar para algo to study to be sth
    estudiarse verbo pronominal ( enf) ‹ lección› to study;

    ‹ papel› to learn
    estudiar verbo transitivo & verbo intransitivo to study: estudia para abogado, she's studying to become a lawyer ➣ Ver nota en study
    ' estudiar' also found in these entries:
    Spanish:
    base
    - chapar
    - concentrarse
    - cursar
    - empollar
    - investigar
    - machacar
    - mamarrachada
    - repasar
    - servir
    - trabajar
    - valer
    - chancar
    - duro
    - empeño
    - empezar
    - firme
    - fuerza
    - haber
    - hacer
    - ir
    - junto
    - más
    - matar
    - tener
    - tragar
    - ver
    English:
    award
    - bar
    - burn
    - consideration
    - do
    - hard
    - investigate
    - pore
    - read
    - read up
    - resolve
    - school
    - stop
    - study
    - text
    - think out
    - train
    - whatever
    - work
    - day
    - depth
    - examine
    - further
    - get
    - kick
    - look
    - research
    - review
    - swot
    - take
    * * *
    ♦ vt
    1. [carrera, asignatura, lección] to study;
    estudia biológicas he's studying biology;
    tengo que estudiar más inglés I've got to work at my English;
    ¿qué estudiaste en la universidad? what did you study at university?
    2. [asunto] to study;
    [oferta, propuesta] to study, to consider;
    después de estudiar tu propuesta he decidido no aceptarla having considered your proposal, I've decided not to accept it;
    lo estudiaré y mañana te doy una respuesta I'll consider it and get back to you tomorrow;
    el gobierno estudia la posibilidad de subir las pensiones the government is studying the possibility of raising pensions
    3. [observar] to observe;
    estuvo estudiándonos durante un rato he stayed watching us for a while;
    desde allí podía estudiar todos los movimientos del animal from there I could observe all the animal's movements
    ♦ vi
    to study;
    estudia todas las tardes he spends every afternoon studying;
    no puede salir, tiene que estudiar she can't come out, she's got to study;
    hay que estudiar más, González you'll have to work harder, González;
    estudió con el Presidente he went to school/university with the President;
    dejó de estudiar a los quince años he left school at fifteen;
    estudié en los jesuitas I went to a Jesuit school;
    estudia en la Universidad Centroamericana he's a student o he's studying at the University of Central America;
    estudiar para médico to be studying to be a doctor;
    ¿estudias o trabajas? do you work or are you still at school?;
    Esp Hum ≈ do you come here often?
    * * *
    v/t & v/i study
    * * *
    : to study
    * * *
    estudiar vb to study [pt. & pp. studied]
    Si se estudia un idioma o un instrumento musical, se dice learn

    Spanish-English dictionary > estudiar

  • 8 analizar

    v.
    to analyze.
    Elsa analizó la bebida Elsa examined the drink.
    El juez analizó el caso The judge analyzed the case.
    * * *
    1 to analyse (US analyze)
    * * *
    verb
    * * *
    VT to analyse, analyze (EEUU)
    * * *
    1.
    verbo transitivo
    1) ( examinar) to analyze*, examine
    2) (Med, Quím) to analyze*
    3) (Ling) to parse
    2.
    analizarse v pron to undergo o have analysis
    * * *
    = analyse [analyze, -USA], assess, break down, discuss, explore, look at, look into, present + discussion, study, think out, weigh, offer + an account of, undergo + analysis, observe, check out, break out, dig + deep, dig + deep beneath the surface, weigh up, review, work through, put + Nombre + under the spotlight, bring + Nombre + under the spotlight, question, probe.
    Ex. With a clear objective, the next step is to analyse the concepts that are present in a search.
    Ex. Without such guidelines each document would need to be assessed individually, and inconsistencies would be inevitable.
    Ex. The holdings are broken down into several volumes, shown as the next level of the pyramid.
    Ex. This review also illustrates some of the issues which cataloguers have discussed over the years, and demonstrates other solutions to standards in cataloguing than those embodied in modern cataloguing codes.
    Ex. Next I will illustrate a simple search profile which does not explore all possible synonyms, but does serve to illustrate weighted term logic.
    Ex. This article looks at three interrelated issues regarding on-line services based on the recent literature.
    Ex. The main concern is to look into current use of, and interest in, electronic information services, and also to gauge opinion on setting up a data base concerned solely with development issues.
    Ex. This article presents a detailed discussion of the use of Hypermedia for authoring, organisation and presentation of information.
    Ex. Each of the binders is portable and can be separately studied.
    Ex. A recitation of the best thought out principles for a cataloging code is easily drowned out by the clatter of a bank of direct access devices vainly searching for misplaced records.
    Ex. Examines the advantages and disadvantages of approval plans suggesting that each library must carefully weigh them in order to determine its own best course of action.
    Ex. This article offers an account of the processes shaping the professionalisation of college and research librarianship within the framework of 4 contemporary sociological theories.
    Ex. Syntactic relationships arise from the syntax of the document which is undergoing analysis, and derive solely from literary warrant.
    Ex. 141 data bases were observed, most of them had been developed in the life sciences as well as in the earth, ocean and space sciences.
    Ex. Where problems do arise it is sensible to check out the training programme before blaming the assistant for poor performance of duties.
    Ex. Turnaround managers want current financial and working capital analyses broken out by cost/profit centres.
    Ex. Are we prepared to dig deep into our well of humanity & humility in order to uplift ourselves?.
    Ex. Her central themes are still love and sex, but she digs deeper beneath the surface to examine the gray areas of moral responsibility and gender relations.
    Ex. The author weighs up whether a dumbing down has taken place in the UK tabloid and broadsheet press.
    Ex. There is only space to review briefly the special problems associated with the descriptive cataloguing of nonbook materials.
    Ex. Some theorists hold that one stage must be completely worked through before the next stage can be entered.
    Ex. It is paramount to put designers themselves under the spotlight for investigative purposes.
    Ex. When the profession once more brought censorship under the spotlight in the 70s, it was less critical and more loath to take a stand.
    Ex. If this appears to be excessively difficult, maybe it is time to question whether the tool is too complex.
    Ex. The librarian sometimes must probe to discover the context of the question and to be able to discuss various possible approaches and explore their merits.
    ----
    * al analizar Algo más detenidamente = on closer examination, on closer inspection.
    * analizar brevemente = take + a look at.
    * analizar críticamente = pull + Nombre + to bits.
    * analizar de nuevo = reexamine [re-examine].
    * analizar desde una perspectiva = see through.
    * analizar desde un punto de vista crítico = cast + a critical eye over.
    * analizar detenidamente = be carefully considered, think through.
    * analizar de un modo imparcial = take + a cool look at.
    * analizar en = break down into.
    * analizar en detalle = consider + in detail.
    * analizar la posibilidad de (que) = examine + the possibility that/of.
    * analizar las posibilidades de = look at + the prospects for.
    * analizar los pormenores de una situación = look + behind the scene.
    * analizar minuciosamente = come under + scrutiny, pore.
    * analizar por separado = dissect.
    * analizar sintácticamente = parse.
    * analizar una cuestión = explore + question, explore + issue.
    * analizar una posibilidad = explore + idea.
    * analizar un tema = explore + theme.
    * reanalizar = reexamine [re-examine].
    * ser analizado como una frase = be phrase parsed.
    * sin analizar = unexamined, unanalysed.
    * volver a analizar = reexamine [re-examine], reanalyse [reanalyze, -USA].
    * * *
    1.
    verbo transitivo
    1) ( examinar) to analyze*, examine
    2) (Med, Quím) to analyze*
    3) (Ling) to parse
    2.
    analizarse v pron to undergo o have analysis
    * * *
    = analyse [analyze, -USA], assess, break down, discuss, explore, look at, look into, present + discussion, study, think out, weigh, offer + an account of, undergo + analysis, observe, check out, break out, dig + deep, dig + deep beneath the surface, weigh up, review, work through, put + Nombre + under the spotlight, bring + Nombre + under the spotlight, question, probe.

    Ex: With a clear objective, the next step is to analyse the concepts that are present in a search.

    Ex: Without such guidelines each document would need to be assessed individually, and inconsistencies would be inevitable.
    Ex: The holdings are broken down into several volumes, shown as the next level of the pyramid.
    Ex: This review also illustrates some of the issues which cataloguers have discussed over the years, and demonstrates other solutions to standards in cataloguing than those embodied in modern cataloguing codes.
    Ex: Next I will illustrate a simple search profile which does not explore all possible synonyms, but does serve to illustrate weighted term logic.
    Ex: This article looks at three interrelated issues regarding on-line services based on the recent literature.
    Ex: The main concern is to look into current use of, and interest in, electronic information services, and also to gauge opinion on setting up a data base concerned solely with development issues.
    Ex: This article presents a detailed discussion of the use of Hypermedia for authoring, organisation and presentation of information.
    Ex: Each of the binders is portable and can be separately studied.
    Ex: A recitation of the best thought out principles for a cataloging code is easily drowned out by the clatter of a bank of direct access devices vainly searching for misplaced records.
    Ex: Examines the advantages and disadvantages of approval plans suggesting that each library must carefully weigh them in order to determine its own best course of action.
    Ex: This article offers an account of the processes shaping the professionalisation of college and research librarianship within the framework of 4 contemporary sociological theories.
    Ex: Syntactic relationships arise from the syntax of the document which is undergoing analysis, and derive solely from literary warrant.
    Ex: 141 data bases were observed, most of them had been developed in the life sciences as well as in the earth, ocean and space sciences.
    Ex: Where problems do arise it is sensible to check out the training programme before blaming the assistant for poor performance of duties.
    Ex: Turnaround managers want current financial and working capital analyses broken out by cost/profit centres.
    Ex: Are we prepared to dig deep into our well of humanity & humility in order to uplift ourselves?.
    Ex: Her central themes are still love and sex, but she digs deeper beneath the surface to examine the gray areas of moral responsibility and gender relations.
    Ex: The author weighs up whether a dumbing down has taken place in the UK tabloid and broadsheet press.
    Ex: There is only space to review briefly the special problems associated with the descriptive cataloguing of nonbook materials.
    Ex: Some theorists hold that one stage must be completely worked through before the next stage can be entered.
    Ex: It is paramount to put designers themselves under the spotlight for investigative purposes.
    Ex: When the profession once more brought censorship under the spotlight in the 70s, it was less critical and more loath to take a stand.
    Ex: If this appears to be excessively difficult, maybe it is time to question whether the tool is too complex.
    Ex: The librarian sometimes must probe to discover the context of the question and to be able to discuss various possible approaches and explore their merits.
    * al analizar Algo más detenidamente = on closer examination, on closer inspection.
    * analizar brevemente = take + a look at.
    * analizar críticamente = pull + Nombre + to bits.
    * analizar de nuevo = reexamine [re-examine].
    * analizar desde una perspectiva = see through.
    * analizar desde un punto de vista crítico = cast + a critical eye over.
    * analizar detenidamente = be carefully considered, think through.
    * analizar de un modo imparcial = take + a cool look at.
    * analizar en = break down into.
    * analizar en detalle = consider + in detail.
    * analizar la posibilidad de (que) = examine + the possibility that/of.
    * analizar las posibilidades de = look at + the prospects for.
    * analizar los pormenores de una situación = look + behind the scene.
    * analizar minuciosamente = come under + scrutiny, pore.
    * analizar por separado = dissect.
    * analizar sintácticamente = parse.
    * analizar una cuestión = explore + question, explore + issue.
    * analizar una posibilidad = explore + idea.
    * analizar un tema = explore + theme.
    * reanalizar = reexamine [re-examine].
    * ser analizado como una frase = be phrase parsed.
    * sin analizar = unexamined, unanalysed.
    * volver a analizar = reexamine [re-examine], reanalyse [reanalyze, -USA].

    * * *
    analizar [A4 ]
    vt
    A (examinar) to analyze*, examine
    B ( Med, Quím) to analyze*
    C ( Ling) to parse
    to undergo o have analysis
    se está analizando he's undergoing o having analysis, he's seeing an analyst, he's in analysis
    * * *

     

    analizar ( conjugate analizar) verbo transitivo
    a) ( examinar) to analyze( conjugate analyze), examine

    b) (Med, Quím) to analyze( conjugate analyze)

    c) (Ling) to parse

    analizarse verbo pronominal
    to undergo o have analysis
    analizar verbo transitivo to analyze
    ' analizar' also found in these entries:
    Spanish:
    estudiar
    - profundidad
    - punto
    English:
    analyse
    - test
    - analyze
    - go
    - survey
    * * *
    1. [situación, problema] to analyse
    2. [sangre, orina] to test, to analyse
    3. Gram to parse;
    * * *
    v/t analyze
    * * *
    analizar {21} vt
    : to analyze
    * * *
    analizar vb to analyse

    Spanish-English dictionary > analizar

  • 9 κατασκευάζω

    κατασκευ-άζω, [tense] fut. - σκευάσω, [dialect] Att.
    A

    - σκευῶ SIG1097.9

     (Athens, iv B.C.), IPE12.32B53 (Olbia, iii B.C.): [dialect] Dor. [tense] aor. - εσκεύαξα Ti. [dialect] Locr.94d, Test.Epict.1.14, also

    κατεσκέαξα Africa Italiana 1.330

     ([place name] Cyrene): [dialect] Boeot. [tense] aor. inf.

    - σκευάττη SIG1185.13

     (Tanagra, iii B.C.): [tense] pf.

    - εσκεύᾰκα D.42.30

    : [tense] fut. [voice] Med. [ per.] 3sg.

    - ᾶται SIG1015.28

     (Halic.): [dialect] Dor. [tense] aor. [voice] Med.

    - εσκευαξάμην Test.Epict.1.9

    :—equip, furnish fully with.., [ πᾶσι] κ. τὸ πλοῖον with all appliances, D.18.194:—[voice] Med., τοὺς ἵππους Χαλκοῖς.. προβλήμασι κ. X.Cyr.6.1.51:—freq. in [voice] Pass.,

    ἱρὸν θησαυροῖσί τε καὶ ἀναθήμασι κατεσκευασμένον Hdt.8.33

    , cf. 2.44; κατασκευὴ Χρυσῶ τε καὶ ἀργύρω κατεσκ. Id.9.82;

    οἷς ἡ Χώρα κατεσκεύασται Th.6.91

    .
    2 without dat., furnish, equip fully,

    τὴν Χώραν X.An.1.9.19

    ;

    κ. τινὰ ἐπὶ στρατιάν Id.Cyr.3.3.3

    ; [ ἐλέφαντας]

    κ. πρὸς τὴν πολεμικὴν Χρείαν OGI54.12

     (Adule, iii B.C.):—[voice] Med., κ. τοὺς ὄνους having got his asses ready, Hdt.2.121.δ, etc.:—[voice] Pass.,

    τῆς Ἀντάνδρου μελλούσης -σκευάζεσθαι Th.4.75

    , cf. 8.24; ἔργα -ασμένα cultivated farms, Anaxag.4; of persons, to be under treatment, Phld. Lib.p.3 O., al.
    3 construct, build,

    γέφυραν Hdt.1.186

     ([voice] Pass.);

    διδασκαλεῖον Antipho 6.11

    ;

    πόλιν Pl.R. 557d

    ;

    γυμνάσια Id.Lg. 761c

    ; ἱερὰ θυσίας τε αὑτοῖς κ. Id.Criti. 113c;

    ἐπιτείχισμ' ἐπὶ τὴν Ἀττικήν D. 18.71

    : generally, prepare, arrange, establish,

    κ. δημοκρατίαν X.HG 2.3.36

    ;

    δύναμιν τῇ πόλει And.3.39

    ;

    συμπόσιον Pl.R. 363c

    ;

    ἰσότητα τῆς οὐσίας Id.Lg. 684d

    , cf. Arist.Pol. 1265a39;

    ὀλιγαρχίαν Id.Ath. 37.1

    ;

    ναύτας D.50.36

    ; κ. τινὰς μελέτῃ train them, X.Cyr.8.1.43, etc.; turn out,

    πολιτικούς Phld.Rh.2.264

     S., al.:—[voice] Med., κατασκευάζεσθαι ναυμαχίαν prepare it, make ready for it, v.l. for παρασκ- in Th.2.85; make for oneself, esp. build a house and furnish it, opp.

    ἀνασκευάζομαι Id.1.93

    , 2.17; unpack, opp. ἀνασκ., X.Cyr.8.5.2;

    κ. ἐρημίαν αὑτῶ Pl.Lg. 730c

    , etc.; κ. τ ράπεζαν set up a bank, Is.Fr.66; κατασκευάζομαι τέχνην μυρεψικήν I am setting up as a perfumer, Lys.Fr. 1.2;

    τοὺς ἐγγυτάτω τῆς ἀγορᾶς κατ εσκευασμένους Id.24.20

    ; [ πρόσοδον] οὐ μικρὰν κατεσκευάσαντο made themselves a good [income], D.27.61, cf. And.4.11.
    4 of fraudulent transactions, fabricate, trump up,

    πρόφασιν X.Cyr.2.4.17

    ;

    τὸ ἀπόρρητον κατασκευάσαι D.2.6

    ;

    λιποταξίου γραφὴν κατεσκεύασεν Id.21.103

    , cf.92;

    Χρέα ψευδῆ Id.42.30

    , cf.45.22 ([voice] Pass.); of persons, suborn,

    λογοποιούς Din.1.35

    ; set up,

    ἢ.. ἐπιτίθενται αὐτοὶ ἢ κατασκευάζουσιν ἕτερον Arist.Pol. 1306a1

    ; οἱ κατεσκευασμένοι τῶν Θετταλῶν men prepared for the purpose, D.18.151;

    κατεσκ. δανεισταί Id.42.28

    : c. inf.,

    τὸν ἀνεψιὸν.. κατεσκεύασεν ἀμφισβητεῖν Id.55.1

    .
    5 c. dupl. acc., make, render, [ φρούρια]

    κ. ὡς ἐχυρώτατα X.Cyr.2.4.17

    ; ἀριστερὰ δεξιῶν ἀσθενέστερα κ, Pl.Lg. 795a;

    φοβερὸν κ. τὸ αὐτόχειρα γενέσθαι D.20.158

    ;

    ἀνομοθέτητον ἑαυτῶ τὸν βίον Duris 10

     J.;

    κ. τινὰ τοιοῦτον.. Arist.Rh. 1380a2

     (also with Adv., πρὸς ἑαυτὸν κ. εὖ τὸν ἀκροατήν render the audience favourably disposed towards oneself, 1419b11).
    6 represent as so and so, κ. τινὰς παροίνους, ὑβριστάς, ἀγνώμονας, D.54.14, cf. 45.82; εἰ μὴ Γοργίαν Νέστορά τινα κατασκευάζεις unless you make out a Gorgias to be Nestor, Pl.Phdr. 261c.
    7 in argument, maintain, prove, τῶν ἐν Εὐβοίᾳ πραγμάτων.. ὡς ἐγὼ αἴτιός εἰμι, κατεσκεύαζε tried to make out that.., D.21.110;

    κ. ὅτι.. Arr.Epict.3.15.14

    , S.E.P.1.32; κ. τῶ λόγψ establish a proposition by reasoning, Damian.Opt.5;

    διὰ λόγου -σκευασθήσεται Phld. Sign.6

    .
    8 in Logic, construct a positive argument, opp. ἀναιρέω, ἀνασκευάζω (of negative arguments), Arist.Rh. 1401b3, cf. Plu.2.1036b, etc.: Philos., κ. τῶν ἀριθμῶν ἰδέαν construct, postulate, Arist.EN 1096a19, cf. Metaph. 984b25, al.
    9 Geom., construct, Euc.5.7 ([voice] Pass.), Archim.Sph.Cyl.2.6 ([voice] Pass.); solve by a construction,

    πρόβλημα Papp. 54.25

    .
    11 abs. in [voice] Med., prepare oneself or make ready for doing,

    ὡς πολεμήσοντες Th.2.7

    ;

    ὡς οἰκήσων X.An.3.2.24

    ;

    ὡς εἰς μάχην Paus. 5.21.14

    .
    12 [voice] Pass., of disease, to become established,

    - σκευαζομένου τοῦ πάθους Gal.8.332

    .

    Greek-English dictionary (Αγγλικά Ελληνικά-λεξικό) > κατασκευάζω

  • 10 κατά

    κατά [(A)][ κᾰτᾰ], poet. καταί acc. to A.D.Synt.309.28, found in Compds., as καταιβάτης: Prep. with gen. or acc.:—
    A downwards.
    A WITH GEN.,
    I denoting motion from above, down from, βῆ δὲ κατ' Οὐλύμποιο καρήνων, κατ' Ἰδαίων ὀρέων, βαλέειν κ. πέτρης, Il. 22.187, 16.677, Od.14.399;

    κατ' οὐρανοῦ εἰλήλουθας Il.6.128

    ; καθ' ἵππων ἀΐξαντε ib. 232;

    δάκρυα.. κ. βλεφάρων Χαμάδις ῥέε 17.438

    ;

    ἵεις σαυτὸν κ. τοῦ τείχους Ar.V. 355

    ;

    ἁλόμενοι κ. τῆς πέτρας X.An.4.2.17

    ;

    κ. τῶν πετρῶν ὦσαι Pl.Phdr. 229c

    ;

    κ. κρημνῶν ῥιφέντες Id.Lg. 944a

    :— for κατ' ἄκρης v. ἄκρα:

    Μοῖσα κ. στόματος Χέε νέκταρ Theoc.7.82

     (but perh. in sense 11.1).
    1 down upon or over,

    κ. Χθονὸς ὄμματα πήξας Il.3.217

    ; of the dying, κατὰ.. ὀφθαλμῶν κέχυτ' ἀχλύς a cloud settled upon the eyes, 5.696, cf. 20.321;

    τὸν δὲ κατ' ὀφθαλμῶν.. νὺξ ἐκάλυψεν 13.580

    ; φᾶρος κὰκ κεφαλῆς εἴρυσσε down over.., Od.8.85; [ κόπρος]

    κ. σπείους κέχυτο.. πολλή 9.330

    ; ὕδωρ κ. Χειρός, v. Χείρ; μύρον κ. τῆς κεφαλῆς καταχέαντες Pl.R. 398a;

    νάρκη μου κ. τῆς Χειρὸς καταχεῖται Ar.V. 713

    ;

    κ. τῆς τραπέζης καταπάσας τέφραν Id.Nu. 177

    ; ξαίνειν κ. τοῦ νώτου πολλὰς [ πληγάς] D.19.197;

    ἐσκεδασμένοι κ. τῆς Χώρας Plb.1.17.10

    ;

    οἱ κ. νώτου πονοῦντες Id.3.19.7

    ;

    ῥόπαλον ἤλασα κὰκ κεφαλῆς Theoc.25.256

    ; κ. κόρρης παίειν, = ἐπὶ κόρρης, Luc.Cat.12, al.
    b Geom., along, upon, πίπτειν κατ' [ εὐθείας] Archim.Sph.Cyl.1 Def.2; αἱ γωνίαι κ. κύκλων περιφερειῶν ἐνεχθήσονται will move on.., ib.1.23, al., cf. Aristarch.Sam.1.
    2 down into,

    νέκταρ στάξε κ. ῥινῶν Il.19.39

    ; of a dart,

    κ. γαίης ᾤχετο 13.504

    , etc.;

    ἔθηκε κατ' ὄχθης μείλινον ἔγχος 21.172

    ;

    ψυχὴ κ. Χθονὸς ᾤχετο 23.100

    ; κ. γᾶς underground, Pi.O.2.59; κατ' ὕδατος under water, Hdt.2.149; [ ποταμὸς]

    δὺς κ. τῆς γῆς Pl.Phd.

     113c, cf. Ti. 25d;

    κ. γῆς σύμεναι A.Eu. 1007

     (anap.); κ. Χθονὸς κρύψαι to bury. S.Ant.24; ὁ κ. γῆς one dead and buried, X.Cyr.4.6.5;

    οἱ κ. Χθονὸς θεοί A.Pers. 689

    , etc.;

    θεοὶ<οἱ> κ. γᾶς Id.Ch. 475

     (lyr.), etc.; so κ. θαλάσσης ἀφανίζεσθαι, καταδεδυκέναι, Hdt.7.6, 235; also βᾶτε κατ' ἀντιθύρων go down by or through.., S.El. 1433.
    3 later, towards a point, τοξεύειν κ. σκοποῦ to shoot at, Hdn.6.7.8;

    κατ' ἰχνῶν τινος ὁδεύειν Luc.Rh.Pr.9

    .
    4 of vows or oaths, by,

    καθ' ἡμῶν ὀμνύναι D.29.26

    , cf. 54.38;

    ἐπιορκήσασα κ. τῶν παίδων Lys.32.13

    ; esp. of the victims, etc., over which the oath is taken, ὀμνυόντων τὸν ἐπιχώριον ὅρκον καθ' ἱερῶν τελείων Foed. ap. Th.5.47, cf. Arist.Ath.29.5, Foed.Delph.Pell.1A9, etc.;

    κ. τῶν νικητηρίων εὐξάμενοι D.Ep.1.16

    ; also κατ' ἐξωλείας ὀμνύναι to imprecate destruction on oneself, Id.21.119;

    κατ' ἐξ. ἐπιορκεῖν Id.57.22

    .
    b to make a vow towards, i.e. make a vow of offering..,

    κ. Χιλίων εὐχὴν ποιήσασθαι Χιμάρων Ar. Eq. 660

    .
    5 in hostile sense, against, A.Ch. 221, S.Aj. 304, etc.;

    κ. πάντων φύεσθαι D.18.19

    ; esp. of judges giving sentence against a person, A.Th. 198, S.Aj. 449, etc.;

    ψεύδεσθαι κατά τινος Lys.22.7

    ;

    λέγειν κατά τινος κακά S.Ph.65

    , cf. X.HG1.5.2, etc.; of speeches, [ λόγος] κ. Μειδίου, etc. (opp. πρὸς Λεπτίνην, in reply to L.);

    δῶρα εἰληφέναι κατά τινος Din.3.6

    , cf. 18.
    6 of Time, for,

    μισθοῦν κ. εἴκοσι ἐτῶν IG12.94.37

    ; κ. βίου for life, Tab.Heracl.1.50;

    κὰπ παντὸς Χρόνοι IG9(2).517.20

     ([place name] Larissa ) (but

    κ. παντὸς τοῦ Χρόνου σκέψασθε D. 22.72

     falls under 7);

    κ. παντὸς τοῦ αἰῶνος ἀείμνηστον Lycurg.7

    .
    7 in respect of, concerning,

    μὴ κατ' ἀνθρώπων σκόπει μόνον τοῦτο Pl. Phd. 70d

    ;

    κ. τῶν ἄλλων τεχνῶν τοιαῦτα εὑρήσομεν Id.Sph. 253b

    ; οἱ κ. Δημοσθένους ἔπαινοι praises bestowed on D., Aeschin.3.50; ἐρεῖν or λέγειν κατά τινος to say of one, Pl.Ap. 37b, Prt. 323b, etc.;

    εἰ κ. θηλείας φαίης A.D.Synt.198.10

    ;

    εἴπερ ἕν γέ τι ζητεῖς κ. πάντων Pl.Men. 73d

    , cf. 74b;

    ὅπερ εἴρηται καθόλου κ. πασῶν τῶν πολιτειῶν Arist.Pol. 1307b2

    ; freq. in the Logic of Arist., κατά τινος λέγεσθαι or κατηγορεῖσθαι to be predicated of.., Int.16b10, Cat. 1b10, etc.; καταφῆσαί (or ἀποφῆσαί) τι κατά τινος to affirm (or deny) of.., Metaph. 1007b21; so

    κ. τινὸς ὑπάρχειν Int. 16b13

    : and in Adv. καθόλου (q.v.).
    B WITH Acc.,
    I of motion downwards, κ. ῥόον down stream, Od.14.254, Il.12.33; opp. ἀνὰ τὸν ποταμόν, Hdt.2.96; κ. τὸν ποταμόν, κ. τὸ ὑδάτιον, Id.1.194, Pl.Phdr. 229a; κατ' οὖρον ἰέναι, ῥεῖν, down (i.e. with) the wind, A.Th. 690, S.Tr. 468; κ. πνεῦμα, κατ' ἄνεμον ἵστασθαι to leeward, Arist.HA 535a19, 560b13, Dsc.4.153.
    2 with or without signf. of motion, on, over, throughout a space, freq. in Hom.,

    καθ' Ἑλλάδα καὶ μέσον Ἄργος Od.1.344

    ; κατ' Ἀχαΐδα, κ. Τροίην, Il.11.770, 9.329;

    κατ' ἠερόεντα κέλευθα Od.20.64

    ; κ. πόντον, κῦμα, ὕλην, Il.4.276, 6.136, 3.151;

    κ. πτόλιν Od.2.383

    ; κ. ἄστυ, οἶκον, Il.18.286, 6.56; κ. ὅμιλον, στρατόν, 3.36, 1.229; κ. κλισίας τε νέας τε ib. 487;

    πόλεμον κάτα δακρυόεντα 17.512

    ; κ. ὑσμίνην, μόθον, κλόνον, 5.84, 18.159, 16.331;

    τὸ ὕδωρ κ. τοὺς ταφροὺς ἐχώρει X.Cyr.7.5.16

    , etc. (in later Gr.of motion to a place,

    κ. τὴν Ἰταλίαν Zos.3.1

    );

    καθ' Ἑλλάδα A.Ag. 578

    ;

    κ. πτόλιν Id.Th.6

    ;

    αἱ σκηναὶ αἱ κ. τὴν ἀγοράν D.18.169

    ;

    τὰ κατ' ἀγροὺς Διονύσια Aeschin.1.157

    , etc.;

    κ. τὸ προάστιον Hdt.3.54

    ;

    τύμβον κατ' αὐτόν A. Th. 528

    , cf. Supp. 869 (lyr.): Geom., at a point, Euc.1.1,al.; τέμνειν [ σφαῖραν] κ. κύκλον in a circle, Archim.Aren.1.17; also, in the region of,

    οἱ κ. τὸν ἥλιον γινόμενοι ἀστέρες Gem.12.7

    : freq. in Hom. in describing the place of a wound, βαλεῖν κ. στῆθος, γαστέρα, etc., Il.11.108, 16.465, al.;

    νύξε κ. δεξιὸν ὦμον 5.46

    ;

    οὔτασε κατ' ἰσχίον 11.339

    ; so βαλεῖν κατ' ἀσπίδα, κ. ζωστῆρα, 5.537, 615; βέλος κ. καίριον ἦλθεν struck upon a vital part, v.l. in 11.439: metaph.,

    ἄχος κ. φρένα τύψε 19.125

    : generally, κ. φρένα καὶ κατὰ θυμόν in heart and soul, 4.163, al.
    3 opposite, over against,

    κ. Σινώπην πόλιν Hdt.1.76

    , cf. 2.148, Th.2.30, etc.;

    ἀνὴρ κατ' ἄνδρα A.Th. 505

    ;

    μολὼν.. μοι κ. στόμα Id.Ch. 573

    ;

    κατ' ὀφθαλμούς τινος LXX 2 Ki.12.11

    ;

    οἱ μὲν Ἀθηναῖοι κ. Λακεδαιμονίους ἐγένοντο X.HG4.2.18

    ; κατ' Ἀχαιοὺς ἀντετάχθησαν ibid.;

    ἐν συμποσίῳ.., περίμενε, μέχρις ἂν γένηται κατὰ σέ Epict.Ench. 15

    , cf. D.L.7.108.
    II distributively, of a whole divided into parts, κρῖν' ἄνδρας κ. φῦλα, κ. φρήτρας by tribes, by clans, Il.2.362; κ. σφέας μαχέονται by themselves, separately, ib. 366, cf. Th.4.64;

    ἐσκήνουν κ. τάξεις X.Cyr.2.1.25

    ;

    αὐτὴ καθ' αὑτήν A.Pr. 1013

    ; κ. κώμας κατοικημένοι in separate villages, Hdt.1.96; κατ' ἑωυτοὺς ἕκαστοι ἐτράποντο each to his own home, Id.5.15; κ. πόλεις ἀποπλεῦσαι, διαλυθῆναι, Th.1.89, 3.1:

    στρατιὰ κ. ἕνδεκα μέρη κεκοσμημένη Pl.Phdr. 247a

    ; later

    οἱ κατ' ἄνδρα λόγοι PLond.2.259.72

     (i A. D.), cf. D.Chr.32.6, etc.;

    ἡ κατ' οἰκίαν ἀπογραφή PLond.3.904.20

    (ii A.D.), etc.; κατ' ἔπος word by word, Ar.Ra. 802; κατ' ὄνομα individually, 3 Ep.Jo.15, etc.; παῖδα κ. κρήνην at each fount a boy, Lyr.Alex.Adesp.37.13, cf. POxy 2108.9 (iii A.D.).
    2 of Time, καθ' ἡμέραν, κατ' ἦμαρ, day by day, daily, v. ἡμέρα 111; καθ' ἑνιαυτόν, κατ' ἔτος, Test.Epict.6.24, Ev.Luc.2.41, etc.;

    κ. μῆνα POxy.275.18

     (i A.D.).
    3 of Numbers, by so many at a time, καθ' ἕνα one at a time, individually, Hdt.7.104 (later

    τὸ καθ' ἕν

     detailed list,

    PTeb.47.34

     (ii B.C.), etc.); κ. μίαν τε καὶ δύο by ones and twos, Hdt.4.113;

    δύο μνέαι τεταγμέναι κατ' ἄνδρα αἰχμάλωτον ἕκαστον Id.6.79

    ;

    ἐκ τῶν συμμάχων ἐξελέγετο κατ' ὀλίγους Id.8.113

    ; κ. τὰς πέντε καὶ εἴκοσι μνᾶς πεντακοσίας δραχμὰς εἰσφέρειν to pay 500 drachmae on every 25 minae, D.27.7;

    κ. διακοσίας καὶ τριακοσίας ὁμοῦ τι τάλαντον διακεχρημένον

     in separate sums of

    200

    and 300 drachmae, Id.27.11; of ships, κ. μίαν (sc. ναῦν) in column, Th.2.90;

    κ. μίαν ναῦν ἐπιτάττειν Plb.1.26.12

    , cf. Th.2.84: Geom., μετρεῖν, μετρεισθαι κατά.. , measure, be measured a certain number of times, Euc.7 Def.8,9,al.; μετρεῖν κ. τὰς ἐν τῷ Β μονάδας as many times as there are units in B, Id.7.16.
    III of direction towards an object or purpose, πλεῖν κ. πρῆξιν on a business, for or after a matter, Od. 3.72, 9.253; πλάζεσθαι κ. ληΐδα to rove in search of booty, 3.106; κ.

    ληΐην ἐκπλῶσαι Hdt.2.152

    ;

    ἔβη κ. δαῖτα Il.1.424

    ;

    ἐπιδημεῖν κατ' ἐμπορίαν IG22.141.32

    , cf. Arist.Ath.11.1; κ. Χρέος τινὸς ἐλθεῖν come to seek his help, consult him, Od.11.479, etc.;

    ἵεται κ. τὴν φωνήν Hdt.2.70

    ; κ. θέαν ἥκειν to have come for the purpose of seeing, Th.6.31;

    κ. πλοῦν ἤδη ὤν Id.7.31

    ;

    καθ' ἁρπαγὴν ἐσκεδασμένοι X.An.3.5.2

    ; κ. τί; for what purpose? why? Ar.Nu. 239.
    2 of pursuit,

    κ. πόδας τινὸς ἐλαύνειν Hdt.9.89

    ; simply κ. τινά after him, Id.1.84;

    ἰέναι κ. τοὺς ἄλλους Id.9.53

    ; κατ' ἴχνος on the track, S.Aj.32, A.Ag. 695 (lyr.);

    ὥσπερ κατ' ἴχνη κ. τὰ νῦν εἰρημένα ζῆν Pl.Phd. 115b

    .
    3 Geom., in adverbial phrases, κ. κάθετον in the same vertical line, Archim. Quadr.6; κατ' εὐθεῖάν τινι in the same straight line with.., Papp. 58.7.
    IV of fitness or conformity, in accordance with,

    κ. θυμόν Il.1.136

    ; καθ' ἡμέτερον νόον after our liking, 9.108;

    κ. νόον πρήξωμεν Hdt.4.97

    ; κ. μοῖραν as is meet and right, Il.1.286; κατ' αἶσαν, κ. κόσμον, 10.445, 472;

    κ. νόμον Hes.Th. 417

    ;

    κὰν νόμον Pi.O.8.78

    ;

    κ. τοὺς νόμους IG22.1227.15

    ; αἰτίαν καθ' ἥντινα for what cause, A.Pr. 228; κατ' ἔχθραν, κ. φθόνον, for (i.e. because of) hatred, envy, Id.Supp. 336, Eu. 686; καθ' ἡδονήν τι δρᾶν, ποιεῖν, do as one pleases, Th. 2.37,53;

    κ. τὸ ἔχθος τὸ Θεσσαλῶν Hdt.8.30

    , cf. 9.38; κ. φιλίαν, κατ' ἔχθος, Th.1.60, 103, etc.; κατ' ἄλλο μὲν οὐδέν, ὅτι δέ.. for no other reason but that.., Pl.Phdr. 229d; κ. δύναμιν to the best of one's power, Hdt.3.142, etc. ( κὰδ δ. Hes.Op. 336); κ. τρόπον διοικεῖν arrange suitably, Isoc.2.6,al.; κατ' εὐνοίην with goodwill, Hdt.6.108;

    κ. τὰ παρηγγελμένα X.An.2.2.8

    , etc.; in quotations, according to,

    κατ' Αἰσχύλον Ar.Th. 134

    ;

    κ. Πίνδαρον Pl.Phdr. 227b

    , etc.
    2 in relation to, concerning, τὰ κατ' ἀνθρώπους = τὰ ἀνθρώπινα, A.Eu. 930, 310;

    τὰ κ. τὸν Τέλλον Hdt.1.31

    ; τὰ κ. τὴν Κύρου τελευτήν ib. 214; τὰ κ. πόλεμον military matters, Aeschin.1.181; αἱ κ. τὴν πόλιν οἰκονομίαι (opp. αἱ πολεμικαὶ πράξεις ) the management of public affairs, Din. 1.97;

    τὰ κ. τὰς θυσίας SIG506.7

    (Delph., iii B.C.); so τὸ κατ' ὑμέας as far as concerns you, Hdt.7.158; τὸ κατ' ἐμέ as far as I am concerned, D.18.247; κ. τοῦτο in this respect, Hdt.5.3, etc.; κ. ταὐτά in the same way, Id.2.20; καθ' ὅτι so far as, Th.1.82, etc.
    3 in Comparisons, corresponding with, after the fashion of, κρομύοιο λοπὸν κ. like the coat of an onion, dub. in Od.19.233;

    μέλος κ. Φοίνισσαν ἐμπολὰν πέμπεται Pi.P.2.67

    ; κ. Μιθραδάτην answering to the description of him, Hdt.1.121; τὴν ἰδέαν κ. πνιγέα like an oven in appearance, Ar.Av. 1001; κηδεῦσαι καθ' ἑαυτόν to marry in one's own rank of life, A.Pr. 890;

    οὐ κατ' ἄνθρωπον φρονεῖν Id.Th. 425

    ;

    λέγω κατ' ἄνδρα, μὴ θεόν, σέβειν ἐμέ Id.Ag. 925

    ; οὐ κατὰ σέ none of your sort, Chionid.1 (but ἵνα προσείπω σε κατὰ σέ to address you in your own style, Pl.Grg. 467c);

    τὸ κατ' ἐμὲ καὶ οὐ κατ' ἐμέ Arr.Epict.1.28.5

    ;

    οὐ κ. τὰς Μειδίου λῃτουργίας D.21.169

    ;

    ἡ βασιλεία κ. τὴν ἀριστοκρατίαν ἐστί Arist.Pol. 1310b3

    : freq. after a [comp] Comp.,

    μέζων ἢ κατ' ἀνθρώπων φύσιν Hdt.8.38

    , cf. Pl.Ap. 20e, etc.; μείζω ἢ κ. δάκρυα too great for tears, Th.7.75; ἤθεα βαθύτερα ἢ κ. Θρήϊκας morerefined than was common among the Thracians, Hdt.4.95.
    V by the favour of a god, etc.,

    κ. δαίμονα Pi.O.9.28

    , cf. P.8.68;

    κ. θεῖον Ar.Eq. 147

     codd. (κ. θεὸν Cobet);

    κ. τύχην τινά D.48.24

    .
    VI of round numbers (v. infr. v11.2), nearly, about,

    κ. Χίλια ἑξακόσια ἔτεα 1600

     years more or less, Hdt.2.145, cf. 6.44, al.; κατ' οὐδέν next to nothing, Pl.Plt. 302b.
    VII of Time, during or in the course of a period,

    κ. τὸν πόλεμον Hdt.7.137

    ; καθ' ἡμέραν, κατ' ἦμαρ, by day, A. Ch. 818, Ag. 668;

    κατ' εὐφρόνην Id.Pers. 221

    ; κ. Χειμῶνα, κ. θερείαν, PLille 1r14 (iii B.C.), PTeb.27.60 (ii B.C.).
    2 about,

    κ. τὸν αὐτὸν τοῦτον Χρόνον Hdt.3.131

    , etc.;

    κ. τοὺς θανάτους τῶν βασιλέων Id.6.58

    ; esp. with names of persons, κ. Ἄμασιν βασιλεύοντα about the time of Amasis, Id.2.134;

    κ. τὸν κ. Κροῖσον Χρόνον Id.1.67

    ; οἱ κατ' ἐκεῖνον (sc. τὸν Ἀλκιβιάδην)

    ὑμέτεροι πρόγονοι D.21.146

     (v.l. κατ' ἐκ. τὸν Χρόνον)

    ; κ. τοὺς Ἡρακλείδας X.Lac.10.8

    ; οἱ καθ' ἑαυτοὺς ἄνθρωποι their contemporaries, Id.Mem.3.5.10.
    3 καθ' ἕτος this year, SIG 284.24 (Erythrae, iv B.C.), OGI458.64 (i B.C./iA.D.), CIG3641b5,38 ([place name] Lampsacus).
    VIII periphrastically with abstract Subst., κατ' ἡσυχίην, κ. τάχος, = ἡσύχως, ταχέως, Hdt.1.9,7.178; κ. κράτος by force, X.HG2.1.19, etc.; κ. μέρος partially, Arist.Po. 1456a16; individually, severally, Pl.Tht. 157b, Lg. 835a; κ. φύσιν naturally, Hdt. 2.38, Pl.R. 428e; κ. τὴν τέχνην skilfully, Luc.DDeor.20.7; οὔτ' ἐμοὶ λέγειν καθ' ἡδονήν [ ἐστι] it is not pleasant for me to tell you, A.Pr. 263.
    C Position: κατά may follow both its cases, and is then written with anastr. κάτα, as Il.20.221, etc.; so also in tmesi, when it follows its Verb, 17.91.
    D abs. as ADV. in all the above senses, esp. like κάτω, downwards, from above, down, freq. in Hom.
    I downwards, down, as in

    καταβαίνω, καταβάλλω, κατάκειμαι, καταπέμπω, καταπίπτω, καταπλέω 1

    .
    II in answer to, in accordance with, as in κατᾴδω ( occino), καταινέω, καταθύμιος.
    III against, in hostile sense (cf. A.11.5), as in καταγιγνώσκω, κατακρίνω, καταψηφίζομαι: more rarely with a Subst., as καταδίκη.
    IV back, back again, as in

    κάτειμι, καταπορεύομαι, καταπλέω 11

    .
    V freq. only to strengthen the notion of the simple word, as in κατακόπτω, κατακτείνω, καταφαγεῖν, etc.; also with Substs. and Adjs., as in κατάδηλος, κάτοξος.
    VI sts. to give a trans. force to an intr. Verb, our be-, as in καταθρηνέω bewail.
    VII implying waste or consumption, as in καταλειτουργέω, καθιπποτροφέω, καταζευγοτροφέω: and generally in a disparaging sense, as in

    καταγιγνώσκω 1

    .
    F κατά as a Prep. was shortd. in some dialects, esp. in [dialect] Ep., into κάγ, κάδ, κάκ, κάμ, κάν, κάπ, κάρ, κάτ, before γ, δ, κ, μ, ν, π (or φ) , ῥ, τ (or θ), respectively; see these forms in their own places. Mss. and the older Edd. join the Prep. with the following word, as καγγόνυ, καδδέ, κακκεφαλῆς, καππεδίον, καπφάλαρα, καρρόον, καττάδε, καττόν, etc. In compd. Verbs, κατά sts. changes into καβ, καλ, καρ, κατ, before β, λ, ρ, θ, respectively, as κάββαλε, κάλλιπε, καρρέζουσα, κάτθανε; and before στ, σχ, the second syll. sts. disappears, as in καστορνῦσα, κάσχεθε, as also in the [dialect] Dor. forms καβαίνων, κάπετον.
    ------------------------------------
    κατά [(B)],
    A = κατὰ τά, IG22.334.15; cf. κά. [full] κᾆτα, [dialect] Att. crasis for καὶ εἶτα, v. εἶτα sub fin. [full] κατάβα, for κατάβηθι, [tense] aor. 2 imper. of καταβαίνω.

    Greek-English dictionary (Αγγλικά Ελληνικά-λεξικό) > κατά

  • 11 задача

    mission, objective, problem, proposition, task
    * * *
    зада́ча ж.
    problem, task, job
    вводи́ть зада́чу в вычисли́тельную маши́ну — load a computer
    зада́ча на … — a problem on [in] …
    постано́вка зада́чи — statement of a problem
    по усло́виям зада́чи — under the conditions [statement] of the problem
    реша́ть зада́чу на вычисли́тельной маши́не — solve [run] a problem on a computer
    ста́вить зада́чу — state a problem
    ста́вить зада́чу найти́ х — seek to find x
    уточня́ть зада́чу — refine the (formulation of a) problem
    формули́ровать зада́чу — formulate a problem
    бухга́лтерская зада́ча — accounting problem
    вариацио́нная зада́ча — variational problem
    вычисли́тельная зада́ча — computational, problem
    грани́чная зада́ча — boundary(-value) problem
    зада́ча двух тел астр. — two-body problem
    зада́ча Дирихле́ мат. — Dirichlet's problem
    контро́льная зада́ча — check [test] problem
    зада́ча Коши́ мат. — Cauchy problem
    краева́я зада́ча — boundary(-value) problem
    логи́ческая зада́ча — logic problem
    зада́ча на нахожде́ние со́бственных значе́ний — eigenvalue problem
    нестациона́рная зада́ча — non-stationary problem
    обра́тная зада́ча — inverse problem
    зада́ча о четвё́ртой то́чке геод. — three-point problem, three-point intersection, trilinear surveying
    пло́ская зада́ча — plane problem
    поста́вленная зада́ча — a problem put by …
    прикладна́я зада́ча — applied problem
    зада́ча прогнози́рования — prediction problem
    пряма́я зада́ча — primal problem
    разреши́мая зада́ча — solvable problem
    зада́ча регули́рования — control problem
    зада́ча с нача́льными усло́виями — initial-value problem
    зада́ча с подвижно́й грани́цей — moving-boundary problem
    зада́ча с разделя́ющимися переме́нными — a problem with variables separable
    зада́ча с реше́нием, уче́бная — worked example, worked problem
    теку́щая зада́ча — current task
    тра́нспортная зада́ча — traffic [transportation] problem
    тра́нспортная зада́ча с крите́рием вре́мени — time traffic [transportation] problem
    * * *

    Русско-английский политехнический словарь > задача

  • 12 Philosophy

       And what I believe to be more important here is that I find in myself an infinity of ideas of certain things which cannot be assumed to be pure nothingness, even though they may have perhaps no existence outside of my thought. These things are not figments of my imagination, even though it is within my power to think of them or not to think of them; on the contrary, they have their own true and immutable natures. Thus, for example, when I imagine a triangle, even though there may perhaps be no such figure anywhere in the world outside of my thought, nor ever have been, nevertheless the figure cannot help having a certain determinate nature... or essence, which is immutable and eternal, which I have not invented and which does not in any way depend upon my mind. (Descartes, 1951, p. 61)
       Let us console ourselves for not knowing the possible connections between a spider and the rings of Saturn, and continue to examine what is within our reach. (Voltaire, 1961, p. 144)
       As modern physics started with the Newtonian revolution, so modern philosophy starts with what one might call the Cartesian Catastrophe. The catastrophe consisted in the splitting up of the world into the realms of matter and mind, and the identification of "mind" with conscious thinking. The result of this identification was the shallow rationalism of l'esprit Cartesien, and an impoverishment of psychology which it took three centuries to remedy even in part. (Koestler, 1964, p. 148)
       It has been made of late a reproach against natural philosophy that it has struck out on a path of its own, and has separated itself more and more widely from the other sciences which are united by common philological and historical studies. The opposition has, in fact, been long apparent, and seems to me to have grown up mainly under the influence of the Hegelian philosophy, or, at any rate, to have been brought out into more distinct relief by that philosophy.... The sole object of Kant's "Critical Philosophy" was to test the sources and the authority of our knowledge, and to fix a definite scope and standard for the researches of philosophy, as compared with other sciences.... [But Hegel's] "Philosophy of Identity" was bolder. It started with the hypothesis that not only spiritual phenomena, but even the actual world-nature, that is, and man-were the result of an act of thought on the part of a creative mind, similar, it was supposed, in kind to the human mind.... The philosophers accused the scientific men of narrowness; the scientific men retorted that the philosophers were crazy. And so it came about that men of science began to lay some stress on the banishment of all philosophic influences from their work; while some of them, including men of the greatest acuteness, went so far as to condemn philosophy altogether, not merely as useless, but as mischievous dreaming. Thus, it must be confessed, not only were the illegitimate pretensions of the Hegelian system to subordinate to itself all other studies rejected, but no regard was paid to the rightful claims of philosophy, that is, the criticism of the sources of cognition, and the definition of the functions of the intellect. (Helmholz, quoted in Dampier, 1966, pp. 291-292)
       Philosophy remains true to its classical tradition by renouncing it. (Habermas, 1972, p. 317)
       I have not attempted... to put forward any grand view of the nature of philosophy; nor do I have any such grand view to put forth if I would. It will be obvious that I do not agree with those who see philosophy as the history of "howlers" and progress in philosophy as the debunking of howlers. It will also be obvious that I do not agree with those who see philosophy as the enterprise of putting forward a priori truths about the world.... I see philosophy as a field which has certain central questions, for example, the relation between thought and reality.... It seems obvious that in dealing with these questions philosophers have formulated rival research programs, that they have put forward general hypotheses, and that philosophers within each major research program have modified their hypotheses by trial and error, even if they sometimes refuse to admit that that is what they are doing. To that extent philosophy is a "science." To argue about whether philosophy is a science in any more serious sense seems to me to be hardly a useful occupation.... It does not seem to me important to decide whether science is philosophy or philosophy is science as long as one has a conception of both that makes both essential to a responsible view of the world and of man's place in it. (Putnam, 1975, p. xvii)
       What can philosophy contribute to solving the problem of the relation [of] mind to body? Twenty years ago, many English-speaking philosophers would have answered: "Nothing beyond an analysis of the various mental concepts." If we seek knowledge of things, they thought, it is to science that we must turn. Philosophy can only cast light upon our concepts of those things.
       This retreat from things to concepts was not undertaken lightly. Ever since the seventeenth century, the great intellectual fact of our culture has been the incredible expansion of knowledge both in the natural and in the rational sciences (mathematics, logic).
       The success of science created a crisis in philosophy. What was there for philosophy to do? Hume had already perceived the problem in some degree, and so surely did Kant, but it was not until the twentieth century, with the Vienna Circle and with Wittgenstein, that the difficulty began to weigh heavily. Wittgenstein took the view that philosophy could do no more than strive to undo the intellectual knots it itself had tied, so achieving intellectual release, and even a certain illumination, but no knowledge. A little later, and more optimistically, Ryle saw a positive, if reduced role, for philosophy in mapping the "logical geography" of our concepts: how they stood to each other and how they were to be analyzed....
       Since that time, however, philosophers in the "analytic" tradition have swung back from Wittgensteinian and even Rylean pessimism to a more traditional conception of the proper role and tasks of philosophy. Many analytic philosophers now would accept the view that the central task of philosophy is to give an account, or at least play a part in giving an account, of the most general nature of things and of man. (Armstrong, 1990, pp. 37-38)
       8) Philosophy's Evolving Engagement with Artificial Intelligence and Cognitive Science
       In the beginning, the nature of philosophy's engagement with artificial intelligence and cognitive science was clear enough. The new sciences of the mind were to provide the long-awaited vindication of the most potent dreams of naturalism and materialism. Mind would at last be located firmly within the natural order. We would see in detail how the most perplexing features of the mental realm could be supported by the operations of solely physical laws upon solely physical stuff. Mental causation (the power of, e.g., a belief to cause an action) would emerge as just another species of physical causation. Reasoning would be understood as a kind of automated theorem proving. And the key to both was to be the depiction of the brain as the implementation of multiple higher level programs whose task was to manipulate and transform symbols or representations: inner items with one foot in the physical (they were realized as brain states) and one in the mental (they were bearers of contents, and their physical gymnastics were cleverly designed to respect semantic relationships such as truth preservation). (A. Clark, 1996, p. 1)
       Socrates of Athens famously declared that "the unexamined life is not worth living," and his motto aptly explains the impulse to philosophize. Taking nothing for granted, philosophy probes and questions the fundamental presuppositions of every area of human inquiry.... [P]art of the job of the philosopher is to keep at a certain critical distance from current doctrines, whether in the sciences or the arts, and to examine instead how the various elements in our world-view clash, or fit together. Some philosophers have tried to incorporate the results of these inquiries into a grand synoptic view of the nature of reality and our human relationship to it. Others have mistrusted system-building, and seen their primary role as one of clarifications, or the removal of obstacles along the road to truth. But all have shared the Socratic vision of using the human intellect to challenge comfortable preconceptions, insisting that every aspect of human theory and practice be subjected to continuing critical scrutiny....
       Philosophy is, of course, part of a continuing tradition, and there is much to be gained from seeing how that tradition originated and developed. But the principal object of studying the materials in this book is not to pay homage to past genius, but to enrich one's understanding of central problems that are as pressing today as they have always been-problems about knowledge, truth and reality, the nature of the mind, the basis of right action, and the best way to live. These questions help to mark out the territory of philosophy as an academic discipline, but in a wider sense they define the human predicament itself; they will surely continue to be with us for as long as humanity endures. (Cottingham, 1996, pp. xxi-xxii)
       In his study of ancient Greek culture, The Birth of Tragedy, Nietzsche drew what would become a famous distinction, between the Dionysian spirit, the untamed spirit of art and creativity, and the Apollonian, that of reason and self-control. The story of Greek civilization, and all civilizations, Nietzsche implied, was the gradual victory of Apollonian man, with his desire for control over nature and himself, over Dionysian man, who survives only in myth, poetry, music, and drama. Socrates and Plato had attacked the illusions of art as unreal, and had overturned the delicate cultural balance by valuing only man's critical, rational, and controlling consciousness while denigrating his vital life instincts as irrational and base. The result of this division is "Alexandrian man," the civilized and accomplished Greek citizen of the later ancient world, who is "equipped with the greatest forces of knowledge" but in whom the wellsprings of creativity have dried up. (Herman, 1997, pp. 95-96)

    Historical dictionary of quotations in cognitive science > Philosophy

См. также в других словарях:

  • Test-driven development — (TDD ) is a software development technique consisting of short iterations where new test cases covering the desired improvement or new functionality are written first, then the production code necessary to pass the tests is implemented, and… …   Wikipedia

  • Logic analyzer — A logic analyzer is an electronic instrument which displays signals in a digital circuit. A logic analyzer may convert the captured data into timing diagrams, protocol decodes, state machine traces, assembly language, or correlate assembly with… …   Wikipedia

  • Test probe — Typical passive oscilloscope probe being used for testing an integrated circuit. A test probe (test lead, test prod, or scope probe) is a physical device used to connect electronic test equipment to the device under test (DUT). They range from… …   Wikipedia

  • Logic probe — A logic probe is a hand held pen like test probe used for analyzing and troubleshooting the logical states (Boolean 0 or 1) of a digital circuit. While most are powered by the circuit under test, some devices use batteries. They can be used on… …   Wikipedia

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • Logic puzzle — Part of a series on Puzzles …   Wikipedia

  • Test-and-set — In computer science, the test and set instruction is an instruction used to both test and (conditionally) write to a memory location as part of a single atomic (i.e. non interruptible) operation. This means setting a value, but first performing… …   Wikipedia

  • Design For Test — (aka Design for Testability or DFT ) is a name for design techniques that add certain testability features to a microelectronic hardware product design. The premise of the added features is that they make it easier to develop and apply… …   Wikipedia

  • Automatic test pattern generation — ATPG (acronym for both Automatic Test Pattern Generation and Automatic Test Pattern Generator) is an electronic design automation method/technology used to find an input (or test) sequence that, when applied to a digital circuit, enables testers… …   Wikipedia

  • Electronic test equipment — (sometimes called testgear ) is used to create signals and capture responses from electronic Devices Under Test (DUTs). In this way, the proper operation of the DUT can be proven or faults in the device can be traced and repaired. Use of… …   Wikipedia

  • Joint Test Action Group — (JTAG) is the usual name used for the IEEE 1149.1 standard entitled Standard Test Access Port and Boundary Scan Architecture for test access ports used for testing printed circuit boards using boundary scan.JTAG was an industry group formed in… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»